]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08ebfa1) | patch
workspacesView: Add timeout for mouse scrolling
authorAlexander Mikhaylenko <alexm@gnome.org>
Wed, 16 Oct 2019 05:39:48 +0000 (10:39 +0500)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 8 Jan 2020 22:41:49 +0000 (23:41 +0100)
commitfc7bcf47615c9defb8fcfdb55a266163af48607f
tree4da61cde716adf068094d5a84c904f33cc640577tree | snapshot
parent08ebfa1acfd1261bb44853f0d8a94dfa58e76c28commit | diff
workspacesView: Add timeout for mouse scrolling

Prevent uncontrollably fast scrolling. Use the same duration as switching
animation, but add a separate timeout to account for disabled animations.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1338

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/825
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.